-- BP 7.1.6 content: InstanceStateMachine syschar: 3 persistence-version: 7.1.6

INSERT INTO SM_ISM
	VALUES ("2105e3c5-ffa8-4695-b68e-fc02da8e5510",
	"849c2c32-71cd-4896-b8ae-040e905af481");
INSERT INTO SM_SM
	VALUES ("2105e3c5-ffa8-4695-b68e-fc02da8e5510",
	'',
	0);
INSERT INTO SM_MOORE
	VALUES ("2105e3c5-ffa8-4695-b68e-fc02da8e5510");
INSERT INTO SM_LEVT
	VALUES ("dad850d0-c9d3-49c0-bb02-65730726af63",
	"2105e3c5-ffa8-4695-b68e-fc02da8e5510",
	"00000000-0000-0000-0000-000000000000");
INSERT INTO SM_SEVT
	VALUES ("dad850d0-c9d3-49c0-bb02-65730726af63",
	"2105e3c5-ffa8-4695-b68e-fc02da8e5510",
	"00000000-0000-0000-0000-000000000000");
INSERT INTO SM_EVT
	VALUES ("dad850d0-c9d3-49c0-bb02-65730726af63",
	"2105e3c5-ffa8-4695-b68e-fc02da8e5510",
	"00000000-0000-0000-0000-000000000000",
	1,
	'start',
	0,
	'',
	'VerificationStep1',
	'');
INSERT INTO GD_MD
	VALUES ("d925df6c-9353-4399-8303-9dba7b457be1",
	8,
	"2105e3c5-ffa8-4695-b68e-fc02da8e5510",
	40,
	0,
	0,
	1,
	1,
	1,
	12,
	1,
	0,
	0,
	0,
	0,
	0,
	'',
	'shlaer-mellor_metamodel_verifier::Metamodel Verifier::Metamodel Verifier::Metamodel Verifier::Verification Step::Instance State Machine');
INSERT INTO DIM_DIA
	VALUES ("d925df6c-9353-4399-8303-9dba7b457be1",
	'',
	1.000000,
	0.000000,
	0.000000,
	"00000000-0000-0000-0000-000000000000");
INSERT INTO O_OBJ_PROXY
	VALUES ("849c2c32-71cd-4896-b8ae-040e905af481",
	'Verification Step',
	3,
	'VerificationStep',
	'',
	"00000000-0000-0000-0000-000000000000",
	'../Verification Step.xtuml');
